大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFAC-IFIP Workshop on Real-Time Programming 的图书(共4977本)

Computational Logic in Multi-Agent Systems [electronic resource] : 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

0
索取号：
作者：Dix、 J眉rgen.、Leite、 Jo茫o.、Governatori、 Guido.、Jamroga、 Wojtek.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Systems and Virtualization Management. Standards and the Cloud [electronic resource] : Third International DMTF Academic Alliance Workshop, SVM 2009, Wuhan, China, September 22-23, 2009. Revised Selected Papers

0
索取号：
作者：Boursas、 Latifa.、Carlson、 Mark.、Jin、 Hai.、Sibilla、 Michelle.、Wold、 Kes.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Dynamics of Nonlinear Time-Delay Systems [electronic resource]

0
索取号：
作者：Lakshmanan、 Muthusamy.、Senthilkumar、 Dharmapuri Vijayan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Advances in Social Network Mining and Analysis [electronic resource] : Second International Workshop, SNAKDD 2008, Las Vegas, NV, USA, August 24-27, 2008

0
索取号：
作者：Giles、 Lee.、Smith、 Marc.、Yen、 John.、Zhang、 Haizheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Multi-Agent Systems [electronic resource] : 7th International Workshop, ProMAS 2009, Budapest, Hungary, May 10-15, 2009. Revised Selected Papers

0
索取号：
作者：Braubach、 Lars.、Briot、 Jean-Pierre.、Thangarajah、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers

0
索取号：
作者：Hsu、 Ching-Hsien.、Malyshkin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Electronic Government [electronic resource] : 9th IFIP WG 8.5 International Conference, EGOV 2010, Lausanne, Switzerland, August 29 - September 2, 2010. Proceedings

0
索取号：
作者：Wimmer、 Maria A.、Chappelet、 Jean-Loup.、Janssen、 Marijn.、Scholl、 Hans J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Adaptive Multimedia Retrieval. Identifying, Summarizing, and Recommending Image and Music [electronic resource] : 6th International Workshop, AMR 2008, Berlin, Germany, June 26-27, 2008. Revised Selected Papers

0
索取号：
作者：Detyniecki、 Marcin.、Leiner、 Ulrich.、N眉rnberger、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Human Behavior Understanding [electronic resource] : First International Workshop, HBU 2010, Istanbul, Turkey, August 22, 2010. Proceedings

0
索取号：
作者：Salah、 Albert Ali.、Gevers、 Theo.、Sebe、 Nicu.、Vinciarelli、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Finite-State Methods and Natural Language Processing [electronic resource] : 8th International Workshop, FSMNLP 2009, Pretoria, South Africa, July 21-24, 2009, Revised Selected Papers

0
索取号：
作者：Yli-Jyr盲、 Anssi.、Kornai、 Andr谩s.、Sakarovitch、 Jacques.、Watson、 Bruce.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Enabling Real-Time Business Intelligence [electronic resource] : Third International Workshop, BIRTE 2009, Held at the 35th International Conference on Very Large Databases, VLDB 2009, Lyon, France, August 24, 2009, Revised Selected Papers

0
索取号：
作者：Castellanos、 Malu.、Dayal、 Umeshwar.、Miller、 Ren茅e J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Focused Retrieval and Evaluation [electronic resource] : 8th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2009, Brisbane, Australia, December 7-9, 2009, Revised and Selected Papers

0
索取号：
作者：Geva、 Shlomo.、Kamps、 Jaap.、Trotman、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Frontiers in Algorithmics [electronic resource] : 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings

0
索取号：
作者：Lee、 Der-Tsai.、Chen、 Danny Z.、Ying、 Shi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Theories of Programming [electronic resource] : Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

0
索取号：
作者：Butterfield、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Web Services and Formal Methods [electronic resource] : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, Revised Selected Papers

0
索取号：
作者：Laneve、 Cosimo.、Su、 Jianwen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Controlled Natural Language [electronic resource] : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers

0
索取号：
作者：Fuchs、 Norbert E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.